x86: No need to flush TLBs on free_page_type() as we no longer trust
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 4 Feb 2009 14:28:13 +0000 (14:28 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 4 Feb 2009 14:28:13 +0000 (14:28 +0000)
commit178c9c3991271fa94c1b759ac1dbb49d7265058c
treee9623d2918a20b55386ef1536a215de7ae6a13c7
parent38ab03b7633329a4f3a4628ad7644c0d31aaeeeb
x86: No need to flush TLBs on free_page_type() as we no longer trust
the linear pagetable mapping (we use it but we double check it).

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/mm.c